package DataStructure;

import it.unisa.dia.gas.jpbc.Element;

import java.util.Map;

public class ProofData {
    Map<Integer, Element> theta_prf;
    Element wit;
    Element[] Lx_sum;

    public ProofData(Map<Integer, Element> theta_prf, Element wit, Element[] lx_sum) {
        this.theta_prf = theta_prf;
        this.wit = wit;
        this.Lx_sum = new Element[lx_sum.length];
        for(int i = 0; i < lx_sum.length; i++){
            this.Lx_sum[i] = lx_sum[i];
        }
    }

    public Map<Integer, Element> getTheta_prf() {
        return theta_prf;
    }

    public void setTheta_prf(Map<Integer, Element> theta_prf) {
        this.theta_prf = theta_prf;
    }

    public Element getWit() {
        return wit;
    }

    public void setWit(Element wit) {
        this.wit = wit;
    }

    public Element[] getLx_sum() {
        return Lx_sum;
    }

    public void setLx_sum(Element[] lx_sum) {
        Lx_sum = lx_sum;
    }
}
